Hybrid Logic as extension of Modal and Temporal Logic

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Temporal and Modal Logic

We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb

متن کامل

Axiomatizing hybrid logic using modal logic

We study hybrid logics with nominals and ‘actuality’ operators @i. We recall the method of ten Cate, Marx, and Viana to simulate hybrid logic using modalities and ‘nice’ frames, and we show that the hybrid logic of a class of frames is the modal logic of the class of its corresponding nice frames. Using these results, we show how to axiomatize the hybrid logic of any elementary class of frames....

متن کامل

Modal Logic As Dialogical Logic

The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...

متن کامل

Extension of Logic regression to Longitudinal data: Transition Logic Regression

Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...

متن کامل

Temporal and Modal Logic Programming :

This paper presents a structured, annotated bibliography of extensions of logic programming based on temporal and modal logics. Temporal and modal logic programming is a new area of research, which gained momentum in the late 1980'ies. The paper discusses temporal and modal logic programming under three headings: (1) interval logic programming , (2) temporal logic programming, and (3) modal log...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Revista de Humanidades de Valparaíso

سال: 2019

ISSN: 0719-4242,0719-4234

DOI: 10.22370/rhv2019iss13pp34-67